Automatic programming

Results: 566



#Item
411Automatic parallelization / Polytope model / Projection / Dependence analysis / Parallel computing / Vectorization / Computer programming / Compiler optimizations / Computing / Mathematics

Computer Science Technical Report Canonic Multi-Projection: Memory Allocation for Distributed Memory Parallelization Tomofumi Yuki and Sanjay Rajopadhye

Add to Reading List

Source URL: www.cs.colostate.edu

Language: English - Date: 2012-02-21 14:05:39
412Computer programming / Loop optimization / Automatic parallelization / Parallel computing / Polytope model / Tile / Multi-core processor / Tessellation / Frameworks supporting the polyhedral model / Compiler optimizations / Computing / Visual arts

Computer Science Technical Report Parametrically Tiled Distributed Memory Parallelization of Polyhedral Programs Tomofumi Yuki

Add to Reading List

Source URL: www.cs.colostate.edu

Language: English - Date: 2013-06-11 13:34:16
413Automatic parallelization / Recurrence relation / Dependence analysis / Computing / Parallel computing / Polytope model / Semiring / Compiler optimizations / Programming language theory / Mathematics

Computer Science Technical Report Automatic Parallelization of “Inherently Sequential” Nested Loop Programs Yun Zou and Sanjay Rajopadhye

Add to Reading List

Source URL: www.cs.colostate.edu

Language: English - Date: 2011-07-18 11:08:19
414Systems theory / Dynamic programming / Markov processes / Stochastic control / Mathematical optimization / Partially observable Markov decision process / Kalman filter / Automatic parallelization / Linear programming / Statistics / Control theory / Operations research

Procedia Computer Science Volume 29, 2014, Pages 1277–1288 ICCS[removed]14th International Conference on Computational Science Optimizing Dynamic Resource Allocation Lucas W. Krakow, Louis Rabiet, Yun Zou, Guillaume Ioos

Add to Reading List

Source URL: www.dddas.org

Language: English - Date: 2014-05-07 11:40:02
415Message passing / Garbage collection / Edelweiss / Distributed data storage / Computer programming / Software engineering / Computing / Inter-process communication / Relational model

Edelweiss: Automatic Storage Reclamation for Distributed Programming Neil Conway, Peter Alvaro, Emily Andrews, Joseph M. Hellerstein UC Berkeley {nrc, palvaro, e.andrews, hellerstein}@cs.berkeley.edu

Add to Reading List

Source URL: db.cs.berkeley.edu

Language: English - Date: 2014-01-07 02:39:21
416Computer programming / Loop optimization / Automatic parallelization / Data parallelism / Degree of parallelism / SPMD / Algorithm / Barrier / Scalable parallelism / Parallel computing / Computing / Compiler optimizations

Parallel Computing 24 Ž[removed]–475 Maximizing parallelism and minimizing synchronization with affine partitions 1 Amy W. Lim ) , Monica S. Lam

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 1999-03-16 00:31:35
417Computing / Programming language theory / Dimensional analysis / Measurement / Array data type / Dimension / Array data structure / Type system / Comparison of C Sharp and Java / Data types / Type theory / Software engineering

Proceedings: Automatic Dimension Inference and Checking for Object-Oriented Programs

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2011-12-19 21:43:21
418Compiler construction / Parallel computing / Computer memory / Programming language implementation / Procedural programming languages / Unified Parallel C / Open64 / Compiler optimization / Automatic parallelization / Computing / Software engineering / Computer programming

A Performance Analysis of the Berkeley UPC Compiler  Wei-Yu Chen Parry Husbands

Add to Reading List

Source URL: upc.lbl.gov

Language: English - Date: 2010-05-06 00:14:41
419Computing / Polytope model / Type system / Laplace transform / Affine transformation / C / Automatic parallelization / Frameworks supporting the polyhedral model / Software engineering / Compiler optimizations / Programming language theory

Computer Science Technical Report AlphaZ: A System for Analysis, Transformation, and Code Generation in the Polyhedral Equational Model

Add to Reading List

Source URL: www.cs.colostate.edu

Language: English - Date: 2012-06-15 19:26:42
420Software testing / Control flow / Daikon / Object-oriented programming / Software bug / Invariant / Assertion / Exception handling / Debugging / Software engineering / Computing / Computer programming

Tracking Down Software Bugs Using Automatic Anomaly Detection Sudheendra Hangal Monica S. Lam

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2002-02-03 04:03:46
UPDATE